Books by author Wolfgang Ahrendt

Showing 1 – 2 out of 2 results

1. 

   Integrated Formal Methods

   Wolfgang Ahrendt, Silvia Lizeth Tapia Tarifa | Springer Nature Switzerland AG, 2019

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.62 €

   Sale 7 %

   You save 4.28 €

   Buy
2. 

   Deductive Software Verification - The KeY Book

   Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich | Springer International Publishing AG, 2016

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   123.35 €

   Sale 7 %

   You save 10.31 €

   Buy

We inform you about all changes of your order. Find out more